已知文法G[S]是无二义的，它定义的语言L（G[S]）中的一个句子x和一个句型y，下面正确的是_A:一定存在S到x的最左推导 B:一定会有S到y的两种不同的推导 C:一定存在S到y的最左推导 D:一定存在唯一与x对应的语法树 答案: 一定存在唯一与x对应的语法树第三讲 词法分析_1 单元测试